Integrating Semi - Formal and Formal Softwarespecification
نویسندگان
چکیده
| In this paper, we report on the integration of informal, semiformal and formal system speciication techniques. We present a framework for system speciication called TRADE, within which several well-known semiformal speciication techniques are placed. TRADE is based on an analysis of structured and object-oriented requirements speciication methods. In this paper, we combine TRADE with the logic-based speciication language Albert II and show that this leads to a coherent formal and semiformal requirements speciication. We illustrate our approach with examples taken from a large distributed telecommunication application case study, performed in the context of the Esprit project 2RARE.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملMobile, L2 vocabulary learning, and fighting illiteracy: A case study of Iranian semi-illiterates beyond transition level
As mobile learning simultaneously employs both handheld computers and mobile telephones and other devices that draw on the same set of functionalities, it throws open the door for swift connection between learners and teachers. This study examined and articulated the impact of the application of mobile devices for teaching English vocabulary items to 123 Iranian semi-illitera...
متن کاملThe Type of Audit Firms Mergers in Iran: Formal or Real
Although increased mergers of audit firms in the Iranian audit market has attracted the attention of profession, regulatory bodies and researchers, little evidence is available on the motivations, barriers, processes, types, consequences and reasons for failures of audit firm’s mergers. Therefore, the present study is an attempt to open the black box of mergers of audit firms through in-depth i...
متن کاملFormal and semi-formal verification of a web voting system
Purpose: CONICET is the most important research institution in Argentina. It depends directly from Argentina’s President but its internal authorities are elected by around 8,000 researches across the country. During 2011 the CONICET developed a web voting system to replace the traditional mail-based process. In 2012 and 2014 CONICET conducted two web election with no complains from candidates a...
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کامل